$\forall$$A$, $B$:RealizerScheme\{i:l\}. scheme{-}compatible\{i:l\}($A$; $B$) $\in$ $\mathbb{P}$\{i'\}